signature PALC_STRUCTS =
sig
  structure Ast : AST
  structure Types : TYPES
end

signature PALC =
sig
  include PALC_STRUCTS
  
  val palc : Ast.exdecnode -> unit
end
